Resolution for Sheaf of Differential Operators on Smooth Free Geometric Quotient of Linear Action of Algebraic Group
نویسندگان
چکیده
In [R], Z. Ran gave a canonical construction for the universal deformation of a simple vector bundle using the Jacobi complex of an appropriate differential graded Lie algebra. Independently, H. Esnault and E. Viehweg made a similar construction. Using these tools, we obtain a resolution for the sheaf of differential operators on smooth geometric quotients of free linear actions of algebraic groups. Unlike previous applications of these methods, we are able to obtain global results. The terms of our resolution involve symmetric and alternating powers of vector bundles easily constructed geometrically from the algebraic group and the vector space on which it acts. Our resolution is particularly simple for projective space. For P(V ), we obtain the following sequence—
منابع مشابه
Differential forms and smoothness of quotients by reductive groups
Let π : X −→ Y be a good quotient of a smooth variety X by a reductive algebraic group G and 1 ≤ k ≤ dim (Y ) an integer. We prove that if, locally, any invariant horizontal differential k-form onX (resp. any regular differential k-form on Y ) is a Kähler differential form on Y then codim (Ysing) > k + 1. We also prove that the dualizing sheaf on Y is the sheaf of invariant horizontal dim (Y )-...
متن کاملThe Beilinson Equivalence for Differential Operators and Lie Algebroids
Let D be the ring of differential operators on a smooth irreducible affine variety X over C; or, more generally, the enveloping algebra of any locally free Lie algebroid on X. The category of finitely-generated graded modules of the Rees algebra e D has a natural quotient category qgr( e D) which imitates the category of modules on Proj of a graded commutative ring. We show that the derived cat...
متن کاملDescent of Coherent Sheaves and Complexes to Geometric Invariant Theory Quotients
Fix a quasi-projective scheme X over a field of characteristic zero that is equipped with an action of a reductive algebraic group G. Fix a polarization H of X that linearizes the G-action. We give necessary and sufficient conditions for a G-equivariant coherent sheaf on X to descend to the GIT quotient X/G, or for a bounded-above complex of G-equivariant coherent sheaves on X to be G-equivaria...
متن کاملDescent of Coherent Sheaves and Complexes to Geometric Invariant Theory Quotients: Draft
Fix a quasi-projective scheme X over a field of characteristic zero that is equipped with an action of a reductive algebraic group G. Fix a polarization H of X that linearizes the G-action. We give necessary and sufficient conditions for a G-equivariant coherent sheaf on X to descend to the GIT quotient X/G, or for a bounded-above complex of G-equivariant coherent sheaves on X to be G-equivaria...
متن کاملOn Quotient Stacks
A natural problem in algebraic geometry is the formation of quotients. This is particularly important in the theory of moduli, where many moduli spaces are naturally constructed as quotients of parameter spaces by linear algebraic groups. Examples of quotient moduli spaces include moduli spaces of curves, stable maps and stable vector bundles (with fixed determinant). Unfortunately, the quotien...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996